* doc/lispref/intro.texi: Improve/undo previous changes.
authorRichard Stallman <rms@gnu.org>
Fri, 6 Jul 2012 01:47:46 +0000 (21:47 -0400)
committerGlenn Morris <rgm@gnu.org>
Fri, 6 Jul 2012 01:47:46 +0000 (21:47 -0400)
commit940a759bf61a92ff1c3aaa134af8521fe7a935c2
tree5dc87699acc51933740a82a384778591930f7efb
parent13f6ba20627f723f310fd87cda7ac7f6daa26f4f
* doc/lispref/intro.texi: Improve/undo previous changes.
doc/lispref/intro.texi